Abstraction and the C++ Machine Model
نویسنده
چکیده
C++ was designed to be a systems programming language and has been used for embedded systems programming and other resource-constrained types of programming since the earliest days. This paper will briefly discuss how C++'s basic model of computation and data supports time and space performance, hardware access, and predictability. If that was all we wanted, we could write assembler or C, so I show how these basic features interact with abstraction mechanisms (such as classes, inheritance, and templates) to control system complexity and improve correctness while retaining the desired predictability and performance.
منابع مشابه
Abstraction, desalination and recharge method to control seawater intrusion into unconfined coastal aquifers
In this study, abstraction, desalination and recharge method and SEAWAT numerical model are used to investigate seawater intrusion repulsion in a hypothetical two-dimensional coastal aquifer to understand the relation of seawater intrusion with abstraction, desalination and recharge parameters (i.e. abstraction/recharge rate, wells distance and depth). Abstraction, desalination and recharge con...
متن کاملVideo Abstraction in H.264/AVC Compressed Domain
Video abstraction allows searching, browsing and evaluating videos only by accessing the useful contents. Most of the studies are using pixel domain, which requires the decoding process and needs more time and process consuming than compressed domain video abstraction. In this paper, we present a new video abstraction method in H.264/AVC compressed domain, AVAIF. The method is based on the norm...
متن کاملN-Policy for M/G/1 Machine Repair Model with Mixed Standby Components, Degraded Failure and Bernoulli Feedback
In this paper, we study N-policy for a finite population Bernoulli feedback queueing model for machine repair problem with degraded failure. The running times of the machines between breakdowns have an exponential distribution. The repair times of the machines are independent and identically distributed random variables. If at any time a machine fails, it is sent to the repairman for repairing,...
متن کاملModel Based Tissue Differentiation in MR Brain Images
pie levels of abstraction. In order to interpret the medical images it is necessary to match them to anatomical models. Although this may be possible over a range of abstractions, the work reported here attempts correspondence only at the image level. Whilst the use of learning, symbolic reasoning and inference may be necessary for a complete system, this work explores how much can be achieved ...
متن کاملFormal Verification for C Program
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. We present an approach for automatically verifying C programs against safety specifications based on finite state machine. The approach eliminates unneeded variables using program slicing technique, and then automatically extracts an initial abstract model from C source code us...
متن کاملکارایی روش شماره منحنی رواناب (CN- SCS ) در برآورد رواناب در حوزه آبخیز تهم چای، شمال غرب زنجان
The Soil Conservation Service Curve Number (SCS-CN) method is widely used for predicting direct runoff from rainfall events. The ratio of initial abstraction (λ=Ia/S) to maximum potential retention (S) was assumed in its original development to be equal to 0.2 (λ=Ia/S=0.2) in SCS-CN method. Application of the initial abstraction ratio equal to 0.2 out of the area where it has been developed may...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004